Digital Library


Search: "[ author: Dongwoo Kim ]" (1)
    Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
    Dongwoo Kim, Yunja Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 615-622, Dec. 2016
    10.3745/KTSDE.2016.5.12.615
    Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking